Program Execution, follow-up
windowsir.blogspot.com·2h·
Discuss: www.blogger.com
⚡Performance Tools
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool
github.com·11h·
Discuss: Hacker News
⚡Circuit Archaeology
Intel RMA woes... is it just me or are they the worst?
preview.redd.it·2d·
Discuss: r/homelab
🧲RISC-V Archaeology
ICSA Colloquium Talk - 10/07/2025
informatics.ed.ac.uk·3h
🧲RISC-V Archaeology
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·2h
🦠Malware Analysis
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
The one-more-re-nightmare compiler (2021)
applied-langua.ge·21h·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Keystroke Forensics 101: Extracting Secrets from USB Traffic
infosecwriteups.com·6h
🔍NTLM Forensics
Running shadow system tests in RISC-V
ikerexxe.github.io·7h
👑RISC-V Privilege
Unity Game Optimization for Low-End Devices
dev.to·4h·
Discuss: DEV
🎯Emulator Accuracy
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·19h·
Discuss: Hacker News
🧲RISC-V Archaeology
Design high-confidence computers using trusted instructional set architecture and emulators
arxiv.org·1d
🖥️Hardware Architecture
Call for Testing: Network Interface Driver Fix for OpenBSD
discoverbsd.com·23h
🛡️eBPF Security
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
How to Speed Up TPRM Approvals with Spectra Assure
reversinglabs.com·2h
🔒Hardware Attestation
Learning High-Quality Latent Representations for Anomaly Detection and Signal Integrity Enhancement in High-Speed Signals
arxiv.org·1d
🧠Machine Learning
How to (Almost) solve cybersecurity once and for all
adaptive.live·17h·
Discuss: Hacker News
🔐Systems Hardening